Een groep binnen een organisatie die door die organisatie zelf is ingesteld.
In de algebraïsche getaltheorie, de algebraïsche topologie en de groepentheorie, deelgebieden van de wiskunde, is een 'formele groepenwet' ruwweg een formele machtreeks, die zich als een product van een lie-groep gedraagt.